Interval arithmetic - PDFSEARCH.IO - Document Search Engine

Interval arithmetic
Results: 138

#	Item
41	Beam casting implicit surfaces on the GPU with interval arithmetic Francisco Ganacim, Luiz Henrique de Figueiredo, Diego Nehab IMPA – Instituto Nacional de Matem´atica Pura e Aplicada, Rio de Janeiro, Brazil Abstract Add to Reading List Source URL: w3.impa.br Language: English - Date: 2011-09-08 16:30:20
42	A Rigorous Extension of the Sch¨onhage-Strassen Integer Multiplication Algorithm Using Complex Interval Arithmetic∗ Raazesh Sainudiin Laboratory for Mathematical Statistical Experiments & Department of Mathematics and Add to Reading List Source URL: interval.louisiana.edu Language: English - Date: 2013-09-14 17:04:19
43	A Rigorous Extension of the Sch¨onhage-Strassen Integer Multiplication Algorithm Using Complex Interval Arithmetic Thomas Steinke Raazesh Sainudiin Add to Reading List Source URL: www.math.canterbury.ac.nz Language: English - Date: 2011-09-23 17:22:46
44	A Rigorous Extension of the Sch¨onhage-Strassen Integer Multiplication Algorithm Using Complex Interval Arithmetic Thomas Steinke Raazesh Sainudiin Add to Reading List Source URL: www.math.canterbury.ac.nz Language: English - Date: 2012-02-14 22:48:19
45	C:/Dokumente und Einstellungen/ulrich/Desktop/Kulisch/SelectedPublications.dvi Add to Reading List Source URL: www.math.kit.edu Language: English - Date: 2013-01-15 10:20:26 Numerical analysis Computer arithmetic Arithmetic Interval arithmetic Pascal-XSC Pascal Konrad Zuse Ring Computing Software engineering Mathematics
46	#kulisch_GSTM33:39 Uhr Add to Reading List Source URL: www.math.kit.edu Language: English - Date: 2013-01-14 09:57:57 Mathematics Numbers Arithmetic Interval arithmetic Theoretical computer science Floating point Computer arithmetic Data types Numerical analysis
47	Sound Compilation of Reals Eva Darulova Viktor Kuncak EPFL Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-11-09 10:48:40 Theoretical computer science Applied mathematics Data types Arithmetic Affine arithmetic Affine geometry Floating point Interval arithmetic Machine epsilon Mathematics Numerical analysis Computer arithmetic
48	Trustworthy Numerical Computation in Scala Eva Darulova Viktor Kuncak ∗ School of Computer and Communication Sciences (I&C) - Swiss Federal Institute of Technology (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-08-20 05:54:12 Mathematical analysis Applied mathematics Affine arithmetic Machine epsilon Floating point Interval arithmetic Rounding Round-off error Interval Numerical analysis Computer arithmetic Mathematics
49	Certifying Solutions for Numerical Constraints Eva Darulova and Viktor Kuncak ? EPFL Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-09-23 13:41:59 Differential calculus Numerical analysis Functions and mappings Automatic differentiation Computer algebra Affine arithmetic Interval arithmetic Derivative Integral Mathematics Mathematical analysis Calculus
50	Rigorous filtering using linear relaxations Ferenc Domes, Arnold Neumaier Faculty of Mathematics, University of Vienna Nordbergstrasse 15, A-1090 Vienna, Austria August 12, 2010 Abstract. This paper presents rigorous fil Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2011-01-10 08:57:10 Algebra Applied mathematics Real algebraic geometry Linear algebra Convex optimization Linear programming Quadratic programming Relaxation Interval arithmetic Mathematics Mathematical optimization Operations research